Levi problem in complex manifolds

Levi-civita Connections of Flag Manifolds

For any flag manifold G/T we obtain an explicit expression of its Levi-Civita connection with respect to any invariant Riemannian metric.

The Union Problem on Complex Manifolds

The Levi Problem in C: a Survey

We discuss domains of holomorphy and several notions of pseudoconvexity (drawing parallels with the corresponding concepts from geometric convexity), and present a mostly selfcontained solution to the Levi problem. We restrict our attention to domains of C. Full text

On the Levi problem with singularities

Is a complex space X which is the union of an increasing sequence X1 ⊂ X2 ⊂ X3 ⊂ · · · of open Stein subspaces itself a Stein space ? From the begining this question has held great interest in Stein theory. The special case when {Xj}j≥1 is a sequence of Stein domains in I C n had been proved long time ago by Behnke and Stein [2]. In 1956, Stein [13] answered positively the question under the ad...

Mechanical proofs of the Levi commutator problem

This note presents purely mechanical proofs of the Levi commutator problem in group theory. The problem was solved first by using the theorem prover EQP, developed by William McCune at the Argonne National Laboratory. The fastest proof was found by using Peers-mcd, the Clause-Diffusion parallelization of EQP, developed by the author at the University of Iowa. 1 The Levi commutator problem The L...